102 research outputs found
Testing Small Set Expansion in General Graphs
We consider the problem of testing small set expansion for general graphs. A
graph is a -expander if every subset of volume at most has
conductance at least . Small set expansion has recently received
significant attention due to its close connection to the unique games
conjecture, the local graph partitioning algorithms and locally testable codes.
We give testers with two-sided error and one-sided error in the adjacency
list model that allows degree and neighbor queries to the oracle of the input
graph. The testers take as input an -vertex graph , a volume bound ,
an expansion bound and a distance parameter . For the
two-sided error tester, with probability at least , it accepts the graph
if it is a -expander and rejects the graph if it is -far
from any -expander, where and
. The
query complexity and running time of the tester are
, where is the number of
edges of the graph. For the one-sided error tester, it accepts every
-expander, and with probability at least , rejects every graph
that is -far from -expander, where
and for any . The query
complexity and running time of this tester are
.
We also give a two-sided error tester with smaller gap between and
in the rotation map model that allows (neighbor, index) queries and
degree queries.Comment: 23 pages; STACS 201
A Theory for Valiant's Matchcircuits (Extended Abstract)
The computational function of a matchgate is represented by its character
matrix. In this article, we show that all nonsingular character matrices are
closed under matrix inverse operation, so that for every , the nonsingular
character matrices of -bit matchgates form a group, extending the recent
work of Cai and Choudhary (2006) of the same result for the case of , and
that the single and the two-bit matchgates are universal for matchcircuits,
answering a question of Valiant (2002)
- …